Nuprl Definition : binrel_le 13,42

E >{TE' == xy:T. (E(x,y))  (E'(x,y)) 
latex



clarification:

E >{TE' == x:Ty:T. (E(x,y))  (E'(x,y)) 
latex


Upgen algebra 1
Wellformedness Lemmasbinrel le wf
Definitionsx:AB(x), P  Q

origin